a petty official - Spanish English Dictionary